home *** CD-ROM | disk | FTP | other *** search
- import java.awt.Event;
- import java.io.DataInputStream;
-
- public class bob10 extends bob {
- public double value;
-
- public bob10(double var1) {
- this.value = var1;
- }
-
- public bob10() {
- }
-
- // $FF: renamed from: rd (java.io.DataInputStream) void
- public void method_0(DataInputStream var1) {
- try {
- this.value = var1.readDouble();
- } catch (Exception var3) {
- }
-
- }
-
- // $FF: renamed from: he (java.awt.Event) void
- public void method_1(Event var1) {
- if (var1.id == 1) {
- this.value = ((bob10)var1.arg).value;
- ((bob)this).ce(this, 2);
- } else if (var1.id == 2) {
- ((bob)this).ce(this, 1);
- } else if (var1.id == 3) {
- try {
- this.value = new Double(((bob12)var1.arg).value);
- ((bob)this).ce(this, 2);
- } catch (Exception var3) {
- }
- }
-
- }
- }
-